A Mathematica package to cope with partially ordered sets

Categorical properties of regular partially ordered pure monomorphisms

Let   a family of monomorphisms in the category A ‎To study mathematical notions in a category  A‎, ‎such as injectivity‎, ‎tensor products‎, ‎flatness‎, ‎with respect to a class M of its (mono)morphisms‎, ‎one should know some of the categorical properties of the pair (A ‎,M ‎)‎. ‎In this paper we take A to be the‎‎category  Pos-S  of S-partially ordered sets  and   to be a particular‎ class o...

Fixed point theorems for $alpha$-$psi$-contractive mappings in partially ordered sets and application to ordinary differential equations

‎In this paper‎, ‎we introduce $alpha$-$psi$-contractive mapping in partially ordered sets and construct fixed point theorems to solve a first-order ordinary differential equation by existence of its lower solution.

A solution of Volterra-Hamerstain integral equation in partially ordered sets

Interval fractional integrodifferential equations without singular kernel by fixed point in partially ordered sets

This work is devoted to the study of global solution for initial value problem of interval fractional integrodifferential equations involving Caputo-Fabrizio fractional derivative without singular kernel admitting only the existence of a lower solution or an upper solution. Our method is based on fixed point in partially ordered sets. In this study, we guaranty the existence of special kind of ...

Tripled partially ordered sets

In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.